Tipo | Título | Autor | Edición | Disponibilidad | Valoración |
---|---|---|---|---|---|
Artículo |
Definición formal de la semántica de UML-OCL a través de su traducción a Object-Z : | Becker, Valeria |
(2003) |
---------- | |
Tesis |
Herramienta para automatizar la transformación UML/OCL a Object-Z: | Becker, Valeria |
(2006) |
Sala
|
---------- |
Artículo |
PAMPERO : precise assistant for the modeling process in an environment with refinement orientation | Pons, Claudia Fabiana |
(2004) |
---------- |